Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen’s natural deduction. The book proceeds with some basic concepts a...(展开全部)

Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen’s natural deduction. The book proceeds with some basic concepts a...(展开全部)

"Structure and Architecture" is an essential textbook for students and practitioners of architecture and structural engineering. MacDonald explains the basic principles of structure and describes the ranges of structure types in current use. Furthermore, the book links these topics directly with the activity of architectural design and criticism. An update of the first edition,...(展开全部)

This textbook explains the basic principles of structure in architecture and describes the ranges of structure in current use. It links these topics directly with the activity of architectural design and criticism. The author deals with structures in a holistic way and when detailed topics are discussed these are always related back to the whole structure and the whole building...(展开全部)

保罗·蒂德曼（Paul Tidman,1956— ），美国俄亥俄州尤宁山大学（University of Mount Union）哲学与宗教学系教授。主要研究方向为逻辑学、认识论、形而上学及应用伦理学。 霍华德·卡哈尼（Howard Kahane,1928—2001）,美国著名逻辑教育家，曾先后任教于堪萨斯大学、马里兰大学等。主要代表作：《逻辑与哲学：现代逻辑导论》（1969年第一版，至第六版为独立作者，以后各版与他人合作），《六个归纳问题》（1962年），《逻辑与当代修辞学》（1971年），《契约伦理学》（1995年）。

保罗·蒂德曼（Paul Tidman,1956— ），美国俄亥俄州尤宁山大学（University of Mount Union）哲学与宗教学系教授。主要研究方向为逻辑学、认识论、形而上学及应用伦理学。 霍华德·卡哈尼（Howard Kahane,1928—2001）,美国著名逻辑教育家，曾先后任教于堪萨斯大学、马里兰大学等。主要代表作：《逻辑与哲学：现代逻辑导论》（1969年第一版，至第六版为独立作者，以后各版与他人合作），《六个归纳问题》（1962年），《逻辑与当代修辞学》（1971年），《契约伦理学》（1995年）。

Fascinating study considers the origins and nature of mathematics, its development and role in the history of scientific thinking, impact of high-speed computers, 20th-century changes in the foundations of mathematics and mathematical logic, mathematization of science and technology, much more. Compelling reading for anyone interested in the evolution of mathematical thought. I...(展开全部)